<?php /* 

[ExtensionSettings]
DesignExtensions[]=portal

*/ 